Beyond Good and Evil: Formalizing the Security Guarantees of Compartmentalizing Compilation

Compartmentalization is good security-engineering practice. By breaking a large software system into mutually distrustful components that run with minimal privileges, restricting their interactions to conform to well-defined interfaces, we can limit the damage caused by low-level attacks such as control-flow hijacking. When used to defend against such attacks, compartmentalization is often implemented cooperatively by a compiler and a low-level compartmentalization mechanism. However, the formal guarantees provided by such compartmentalizing compilation have seen surprisingly little investigation. We propose a new security property, secure compartmentalizing compilation (SCC), that formally characterizes the guarantees provided by compartmentalizing compilation and clarifies its attacker model. We reconstruct our property by starting from the well-established notion of fully abstract compilation, then identifying and lifting three important limitations that make standard full abstraction unsuitable for compartmentalization. The connection to full abstraction allows us to prove SCC by adapting established proof techniques; we illustrate this with a compiler from a simple unsafe imperative language with procedures to a compartmentalized abstract machine.Comment: Nit

Aspects of animals in Chinghiz Aitmatov's writings

Předložená diplomová práce je věnována tvorbě významného kirgizského spisovatele druhé poloviny XX století Čingize Ajtmatova. Práce obsahuje čtyři kapitoly; v první části jsou uvedena některá autorova životopisná fakta a nastíněna jeho tvůrčí evoluce, ve třetí a čtvrté kapitole jsou analyzována jeho některá díla (román Popraviště, novely Sbohem trpký živote, Strakatý pes na břehu moře a Bílá loď). Hlavním cílem práce je ukázat, že v umělecké struktuře sledovaných textů hrají důležitou roli obrazy zvířat, což svědčí o těsném propojení Ajtmatovovy tvorby s mytologií a folklórem.Katedra ruského a francouzského jazykaObhájenoThis thesis is dedicated to the works of remarkable Kirghiz writer Chinghiz Aitmatov from second half of 20th century. The thesis consists of four chapters; the first one provides the information about his life and his creative evolution, in the third and the fours chapters some of his writings (novel "The Scaffold" (1986), stories "Farewell, Gulsary!" (1966), "Spotted Dog Running On Seashore" (1977), "The White Steamboat" (1970) are being analyzed. The main objective of the thesis is to show that in art structures of the writings, mentioned above, animal images play important role which testifies close connection of Aitmatov?s work with folklore and mythology